A New Test Case Generation Method Based on Data Flow Graph
نویسندگان
چکیده
منابع مشابه
Modeling Critical Flow through Choke for a Gas-condensate Reservoir Based on Drill Stem Test Data
Gas-condensate reservoirs contain hydrocarbon fluids with characteristics between oil and gas reservoirs and a high gas-liquid ratio. Due to the large gas-liquid ratio, wellhead choke calculations using the empirical equations such as Gilbert may contain considerable error. In this study, using drill stem test (DST) data of a gas-condensate reservoir, coefficients of Gilbert equation was modifi...
متن کاملa study on insurer solvency by panel data model: the case of iranian insurance market
the aim of this thesis is an approach for assessing insurer’s solvency for iranian insurance companies. we use of economic data with both time series and cross-sectional variation, thus by using the panel data model will survey the insurer solvency.
A Specification-Based Test Case Generation Method for UML/OCL
Automated test data generation is an important method for the verification and validation of UML/OCL specifications. In this paper, we present an extension of DNF-based test case generation methods to class models and recursive query operations on them. A key feature of our approach is an implicit representation of object graphs avoiding a representation based on object-id’s; thus, our approach...
متن کاملTowards Efficient Data-flow Test Data Generation
Data-flow testing (DFT) checks the correctness of variable definitions by observing their corresponding uses. It has been empirically proved to be more effective than control-flow testing in fault detection, however, its complexities still overwhelm the testers in practice. To tackle this problem, we introduce a hybrid testing framework: (1) The core of our framework is symbolic execution, enha...
متن کاملA New Method for Multisensor Data Fusion Based on Wavelet Transform in a Chemical Plant
This paper presents a new multi-sensor data fusion method based on the combination of wavelet transform (WT) and extended Kalman filter (EKF). Input data are first filtered by a wavelet transform via Daubechies wavelet “db4” functions and the filtered data are then fused based on variance weights in terms of minimum mean square error. The fused data are finally treated by extended Kalman filter...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: DEStech Transactions on Engineering and Technology Research
سال: 2017
ISSN: 2475-885X
DOI: 10.12783/dtetr/amma2017/13359